Free monads and the orthogonal subcategory problem

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Orthogonal Subcategory Problem and the Small Object Argument

Our paper is devoted to two classical problems of category theory: the Orthogonal Subcategory Problem which asks, given a class H of morphisms, whether the subcategory H⊥ of all objects orthogonal to every member of H is reflective. And the Small Object Argument which asks whether the subcategory InjH of all objects injective to every member of H is weakly reflective and, moreover, the weak ref...

متن کامل

ABELIAN CATEGORIES ARISING FROM A MAXIMAL n-ORTHOGONAL SUBCATEGORY

As Koenig and Zhu showed, quotient of a triangulated category by a maximal 1-orthogonal subcategory becomes an abelian category. In this paper, we generalize this result to a maximal n-orthogonal subcategory for an arbitrary positive integer n.

متن کامل

On Rational Monads and Free Iterative Theories

For every finitary endofunctor H of Set a rational algebraic theory (or a rational finitary monad) R is defined by means of solving all finitary flat systems of recursive equations over H. This generalizes the result of Elgot and his coauthors, describing a free iterative theory of a polynomial endofunctor H as the theory R of all rational infinite trees. We present a coalgebraic proof that R i...

متن کامل

Recursive Program Schemes and Context-Free Monads

Solutions of recursive program schemes over a given signature Σ were characterized by Bruno Courcelle as precisely the context-free (or algebraic) Σ-trees. These are the finite and infinite Σ-trees yielding, via labelling of paths, context-free languages. Our aim is to generalize this to finitary endofunctors H of general categories: we construct a monad CH “generated” by solutions of recursive...

متن کامل

the problem of divine hiddenness

این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Pure and Applied Algebra

سال: 1978

ISSN: 0022-4049

DOI: 10.1016/0022-4049(78)90010-5